On the Evaluation of Transactor-based Verification for Reusing TLM Assertions and Testbenches at RTL