This requires changing the way some clients filter runtime checks.
Clients who want to filter out some runtime checks now have to create a
copy of RuntimePointerChecking and apply the filter to the runtime
checks. This seems reasonable to me, as it makes explicit that we
effectively create a subset of the pointer checking.
Passing RuntimePointerChecking also makes changes to addRuntimeChecks
easier, as RuntimePointerChecking should contain all information about