time.js for profiling and many speed enhancements