The Dijkstra predicate failures render to JSON.

These instances used to be error stubs, so the first Dijkstra block that failed validation crashed whichever thread forced its trace message. Each case here goes through the full chain of instances for DijkstraEra, from BlockTransitionError or DijkstraLedgerPredFailure down to the leaf failure, and forces the encoded JSON.