We do lots of checks. Most of our code is C++ where we get a fair amount "free", and the few times where type checks get in the way they are easy to bypass in a natural way.