Rewrote remove-valve-selector and cancel-infer. They only thing missing from them now is focused reasoning support.
Code cleanup. Removed the old unassert function which is now unnecessary.