Implemented the Verifier and put the Auditor in Firewall mode. The changes are as follows: - Implemented and tested the Verifier application. - Renamed `createConfig` -> `setupTools` and grouped commands into three command classes (tpm, key-exchange, config). Added kyber-based key-exchange. Added pcr-extend and pcr-reset commands. - The Prover can now attest and send extradata and the eventlog over network. Both the Auditor and the Verifier assume that this data has been extended into one of the Provers PCRs. `setupTool` can extend the Provers TPM accordingly. - Both the Verifier and the Auditor contribute enough nonce to the attestation that freshness is guaranteed. - Enhanced the stability. - Refactored datatype.PCRs and introduced additional wrapper classes to enhance type-safety and readability. - Extended the codes documentation and wrote proper setup/how-to guides. Moved the documentation into root. - Introduced api.Outbound and api.Inbound connections. - Replaced tpm2.TPMIAlgHash with the new type `cryptoutil.Hash`. - Upgraded to go 1.25.6.