Ensure check_satisfiability is called in onestep()

Avoid that the actuall reasoner call is removed together with the
assert() on the use of heavy compiler optimization flags.