update steplimits support for Z3
The recent versions of Z3 support the option rlimit=value
for resource limits (apparently supported since Z3 4.4.1)
We should replace our current use of memory_max_alloc_count
by this new option everywhere possible. Currently the counterexample alternative of Z3 still uses memory_max_alloc_count