do better messaging than `WARNING:Halmos:Counterexample (potentially invalid)` if evm_exp is the reason the model is invalid

[0xkarmacoma]

we actually do have an option that can help:

Solver options:
  --smt-exp-by-const N  interpret constant power up to N (default: 2)