Unify ValidityCondition and BlobTransaction generics under DaSpec. Remove SlotData from STF API.

[preston-evans98]

Description

This PR makes several improvements to the STF interface and related generics.

• Remove all references to the SlotData trait inside the state machine. Replace such references with BlockHeader and ValidityCondition as necessary.
• Make the StateTransitionFunction trait generic over DaSpec instead of a Blob type
• Remove the Blob generic from apply_slot
• Remove all generic references to ValidityCondition and BlobTransaction and replace them with associated types on the DaSpec
• Remove several wrapper types which implemented Borsh for values to be stored in state, and replace them with Bcs codecs.

Fixes #621

[codecov]

Codecov Report

Merging #838 (41d9e53) into nightly (80230c8) will decrease coverage by 0.2%.
The diff coverage is 69.7%.

Files Changed	Coverage Δ
adapters/celestia/src/verifier/mod.rs	0.0% <0.0%> (ø)
adapters/risc0/src/guest.rs	0.0% <0.0%> (ø)
adapters/risc0/src/host.rs	0.0% <0.0%> (ø)
full-node/sov-stf-runner/src/ledger_rpc.rs	92.5% <ø> (ø)
...implementations/sov-attester-incentives/src/lib.rs	23.6% <ø> (ø)
...module-implementations/sov-blob-storage/src/lib.rs	97.7% <ø> (ø)
...e-implementations/sov-prover-incentives/src/lib.rs	33.3% <ø> (ø)
module-system/sov-modules-api/src/lib.rs	90.9% <ø> (ø)
rollup-interface/src/state_machine/da.rs	97.2% <ø> (ø)
rollup-interface/src/state_machine/optimistic.rs	0.0% <ø> (ø)
... and 16 more

... and 2 files with indirect coverage changes

[bkolad]

LGTM.
Question: Do we need to update rollup-interface/spec/interfaces/stf.md doc as well?

[preston-evans98]

Oh wow, yeah that's very out-of-date; it still uses begin/end slot and apply_block.