Add example usage for suffix proofs

Suffix proofs are useful for blockchains that include state. For example, if the UTXO was committed-to in bitcoin's blockchain, a suffix proof would suffice to securely prove that the honest chain has a given UTXO. This example should be mentioned. Ethereum's state commitment is also a great example.