bump rust-simplicity to 0.7; update simplicity pset run
#35
+52
−57
Loading