Make tests work with sandboxes and fix GC statistics overflow

As an alternative to add the Idris sandbox path to PATH to make test suite run when running from sandbox.