hacspec: succinct, executable, verifiable specifications for high-assurance cryptography