[RewriteStatepointsForGC] Add tests for the base pointer identification algorithm