Finalized test for HashFileSpecification. Added testing for write and read.