* Do post-commit opt as we go rather than as a glut at the end
* Eliminate read calls emitted as a memcpy from constant, even after they have been emitted as bitcode
* Eliminate globals that are left unused after removing such an instruction
* Allow repeated read-checks to be eliminated (currently too optimistic)