Working on RCU debugger. The current test for dereferenced addresses might be backward (jb vs. jbe), or there could be an issue where adding a watchpoint adds the wrong tainted bits. Otherwise, basic block augmenting from rcu_null to rcu_watched is working as expected.