To verify that we're not insane, we've also reverse engineered both miners, analysed their kernels, traced their OpenCL enqueue calls, and the evidence is clear.
Wow, this deserves a separate article (Medium maybe?). Indeed, if you trace all OpenCL calls and save timestamps with microsecond precision, it's easy to calculate the real hashrate miner-side, without having to wait for 1000000 shares.