Platform-independent resource bounds for z3 in Inox, instead of wall clock

[vkuncak]

Support using rlimit parameter of z3 so we get better stability independent of the platform:

https://microsoft.github.io/z3guide/programming/Parameters/