Removed the cleansing script from the package
Split DecryptionLine into ScytlDecryptionLine and VerificatumDecryptionLine
Switched from hard-coded index to using the argument
Refactoring (PMD)
Moved the verification of the proofs down to the subclasses