Record/replay support for arm virt board

[AndrewFasano]

Some fantastic work by @caden-kline!

• Modified Diverge.py to sucessfully run.
• It had problems with setting breakpoints.
• Created a readfn for the virt timer ctl value
• Added record/replay macros to readfn for counter and virt timer ctl.

From manual testing RR here seems to still fail when using -device vhost-vsock-pci, though there's a chance another difference in my setup is causing the problem.