Refactor - Remove generic parameter Verifier from Executable

[Lichtso]

In the monorepo we can now cache that a program was verified with the current vm::Config and skip verification when re-loading these programs. But that requires an unsafe transmutation to circumvent the protection here in RBPF against precisely this usage pattern. See solana-labs/solana#32722 (comment).

Thus, we will just remove the type safety here as the check is effectively done at runtime now, in the loaded programs cache.

[codecov-commenter]

Codecov Report

Merging #500 (8f4250d) into main (0c64b48) will decrease coverage by 0.02%.
Report is 1 commits behind head on main.
The diff coverage is 96.55%.

@@            Coverage Diff             @@
##             main     #500      +/-   ##
==========================================
- Coverage   89.55%   89.53%   -0.02%     
==========================================
  Files          23       23              
  Lines       10119    10093      -26     
==========================================
- Hits         9062     9037      -25     
+ Misses       1057     1056       -1     

Files Changed	Coverage Δ
src/disassembler.rs	93.36% <0.00%> (ø)
src/verifier.rs	97.83% <ø> (+0.33%)	⬆️
src/assembler.rs	98.80% <100.00%> (-0.03%)	⬇️
src/elf.rs	87.38% <100.00%> (-0.04%)	⬇️
src/interpreter.rs	97.67% <100.00%> (ø)
src/jit.rs	91.68% <100.00%> (-0.06%)	⬇️
src/static_analysis.rs	65.82% <100.00%> (ø)
src/vm.rs	73.36% <100.00%> (ø)
src/x86.rs	84.33% <100.00%> (ø)
test_utils/src/lib.rs	96.15% <100.00%> (ø)