Const prop improvement (#772)

Improve constant propagation of connections to references

[skip formal checks]

LEC fails on this PR because this PR actually changes the circuit. The
change is that it constant propagates some additional registers. This is
really just extending #621 to work on more registers that it was
supposed to be propagating anyway.