Added ABOrt instruction to halt a measurement cycle
Synchronization fixes

- Renamed synchronized signals to identify the clock with which they are
  synchronous
- sig_synchronized should have TWO synchronizers: one to refclk, one to
  sysclk.
Added support for overflow detection