Fix build after SimpleSmt
change in miden-crypto
#1200
Merged
SimpleSmt
change in miden-crypto
#1200