Use microtime(true) instead of time() in phpt test for better randomization