The world's fastest JavaScript type checker for V8