Making llvm's santitization much faster
Fixing a nasty bug in BVA

Forgot to reset 'seen' to 0
Support .at() for watcharray
Do bounds check in varupdatehelper