Shift-Left on Timing Constraints Verification: Beyond Typical Front-End Execution