Various leak fixes in the simplifier
See individual commits for details. The main benefit is from d04faaf3 which reduces the lifetime of Unfoldings so that it doesn't span over the code generation phase.
See individual commits for details. The main benefit is from d04faaf3 which reduces the lifetime of Unfoldings so that it doesn't span over the code generation phase.