Make verbose load solving optional and supress walking over the same block multiple times when making a load subquery
Rewrite store->load forwarding mechanism to explicitly carry modified locations around instead of walking backwards as before.