This tests that load and store opcodes verify that their arguments are
actually of the appropriate types.