> some traps will be included in optimised code to capture the cases where types may not be as expected

none of that should matter. if the resulting JIT'd code is faster with the traps than the plain js without them, so be it.