fix buggy assert
fix a true conditional CAS
Add enable/disable of tracked regions