Make use of the new buffered writer for the output of `prof_log_stop`.
Compiler optimizations may produce traces more than expected. Instead verify the lower bound only.