Inlines instruction counting for the -trace_after_instrs option in drcachesim on
AArch64 to avoid doing a clean call and thus improve performance.
Involves enabling drx_insert_counter_update() for 64-bit counters for AArch64.
Extends two tests with checks for 64-bit counter updates on AArch64.
Fixes: #4487 (closed)