Make synchronized load/store work properly in hardware
Add synchronized load store test and fix a few related test harness issues