Avoid duplicate stat calls (#550)

Avoid duplicate stat calls (#550)

hash_source_code_string will, in read_file, stat the file to get the file
size. But when called from verify_result, the file size is already known so by
using this size the number of stat calls in a normal run can be cut in half.