Added time profiler and verbose option (default off)