Added variant of opt/fehler264.c.
Added test that triggers assertion during load-store optimization.
Added failing test for load-store optimization.
Verifier complains about Projs in wrong block.