Added verify function and command-line options. Users can now check if a receipt describes a file.