Simplify some smt calls

[oskgo]

These smt calls fail for me when running the test suite locally. Includes the one from #830.

[fdupress]

Can you document your smt config right quick? I should take on a task to regularly bump our easycrypt.config, but also don't want to demand too much of those in the community who put effort into developing stuff and testing it locally first.

[oskgo]

[main]
default_editor = "open %f"
magic = 14
memlimit = 1000
running_provers_max = 2
timelimit = 5.000000

[partial_prover]
name = "Alt-Ergo"
path = "/nix/store/s7jqdl4ark0bsaa49jz6ipi1hnirdwrp-provers/bin/alt-ergo"
version = "2.4.3"

[partial_prover]
name = "CVC4"
path = "/nix/store/s7jqdl4ark0bsaa49jz6ipi1hnirdwrp-provers/bin/cvc4"
version = "1.8"

[partial_prover]
name = "CVC5"
path = "/nix/store/s7jqdl4ark0bsaa49jz6ipi1hnirdwrp-provers/bin/cvc5"
version = "1.0.9"

[partial_prover]
name = "Z3"
path = "/nix/store/s7jqdl4ark0bsaa49jz6ipi1hnirdwrp-provers/bin/z3"
version = "4.12.6"