do not check for programming failures in `--fail-on-assertion-only`

[zapashcanon]

In the code, where we check for an OOB or a division by zero, the boolean corresponding to the failure is passed to select. Instead we should simply assume it does not fail and avoid calling the solver twice.

The converse holds for assertions in --fail-on-trap-only