fixes #187 Add a paranoid invariant that left endpoints are <= right
endpoints on acquire and release.