Check for AVA_GETS_RESTART when deciding if avalon has messed up.
Reuse avalon_get_work_count variable.
Show read discrepancy in avalon_get_reset.