Fixed the pruneMap crash bug and also a store pruning bug that fails to
propagate the continuation stack at post-fixpoint time.
Revert a previous commit that exclude Env/HeapEnv from PrunedInfo. Bug
fixes.