Make random test generator emit cache control instructions
Implement dflush instruction