Cardano Updates

1655: Revert change to parseNodeConfigurationFP r=newhoggy a=newhoggy

This fixes a regression in the way the absolute paths are resolved in the config file.

Co-authored-by: John Ky <[email protected]>

  arbitrary number of slots.
- Hookup the new trace generators to the (2) safety properties we have. Property
  `prop_endorsementsAreCorrectlyTallied` is failing, so we need to revisit it.

Version bump of downloaded setup files

* BuiltinName -> StagedBuiltinName etcetera

* Remove StagedBuiltinName

* Forgot to update Benech.hs

* Repair Agada (maybe))

* Repair Agada (maybe)

* Fix merge problem (?)

does not seem to be working. QC finds a trace in which an SIP is approved, but
it cannot shrink the trace to a smaller version. [skip ci]