Annotating Slack Directly on Your Verilog: Fine-Grained RTL Timing Evaluation for Early Optimization.