Type Profiling and Code Coverage Profiling for JavaScript