Merge "Avoid using NanoTime for compiler and verifier" into lmp-dev