counterexamples: add hexadecimal representation for int and bv
In the printing of counterexamples, int and bv are printed in decimal notation. We could add an hexadecimal notation (same as what is done for float).
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information