Rewrite the abi gen tests after #1109

[mohammadfawaz]

The state_mutations builder does not make much sense anymore. It's worth keeping though for testing purposes but in those tests in particular, we need to rewrite them to use kv expressions. I think we should keep the old tests and write new ones.