Introduce additional auxiliary functions to `KontrolTest`

Follow up to https://github.com/runtimeverification/kontrol/pull/1081.

As suggested by @lucasmt, we should add `_loadBytes32`, and `...Address` and `...Bytes32` versions of `_loadMapping...` and `_storeMapping...` as well, if we want to be complete.