Verifier complains about Proj in wrong block.
Verifier complains about unscheduled nodes.
Added challenge for load-store optimization.
Added failing test for load-after-load optimization.