Add program for verifying preimage solutions