cardano-ledger-shelley-1.17.0.0: Shelley Ledger Executable Model