Improve infeasibility detection for constant and
variable parameter blocks.

1. Check if constant parameter blocks have infeasible values.
2. Check if variable parameter blocks have impossible bounds.

Change-Id: I0a58bc3eba42f0655fe90b58ea6ee21fae8c8f61