Fix numerous tests relating to SALVEContext

Many tests were still passing incorrect arguments to functions, expecting
incorrect output, or operating on the real execution context instead of a
mocked one.