Add failing recursive function test
Define %protoOfField in the interpreter directly

Its definition in s5 requires a recursive function, which will
inevitably lead to precision problems. With the rec-768e726 test and
m-CFA with m = 1, this is already the case. Defining it directly in the
abstract interpreter itself seems like the only solution. However,
there are 65 more recursive functions defined in S5's environment file,
and this could mean that those 65 functions should also be redefined
inside the abstract interpreter.
Restore full GC with even with global environment

As values in the global stores can be redefined locally, addresses
in the global store can now point to addresses in the local store, and
it becomes necessary to look in the global store as well.
Adding recursive function example