test

Added support for hashmaps in `Smt` and `SimpleSmt` #240

Job	Run time
test stable on ubuntu with default	3m 32s
test stable on ubuntu with smt-hashmaps	3m 41s
test stable on ubuntu with no-std	3m 37s
test nightly on ubuntu with default	3m 43s
test nightly on ubuntu with smt-hashmaps	3m 43s
test nightly on ubuntu with no-std	3m 54s
	22m 10s

Provide feedback