Right now, the "allow_gc" parameter of CVM is True by default, but is ignored.
As a first step, we could convert the Python code doing it in VM (the Stack class) into C.
Then, we might want to have an algorithm that deals better with lazy evaluation.