Fix checkasm timing calculations

Gave slightly wrong results for very short/fast functions.