Enforce consistent logic in ackermannization test

[marcogario]

Pass logic to _verify_ackermannization so we can check for preconditions there and ensure we use the same logic throughout the test.

Fixes https://github.com/pysmt/pysmt/issues/731