How are blocks not required to be cryptographically verifiable?