Testbenches for arithmetic blocks now use files to verify correctness of operations