Use Sequester for the read/write lock.

Closes #240.