How I Learned to Stop Worrying and Love Benchmarking Functional Verification!