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