Update read and print rulevector to 64-bit design
Add function to print buffer for testbench