mu-grind: A Framework for Dynamically Instrumenting HLS-Generated RTL