Reproduce and fix views-lk inversion

[markhannum]

The tpcrash test case in this branch reproduces the views-lk inversion. This is an idea of an approach to address this inversion, and a bit of refactoring of the views lock. I want rob-rivers to start testing, but we are actively discussing this now, so I've labeled this WIP.