Feature - Stricter ABI and runtime constraints

[Lichtso]

Problem

It has been tricky to fuzz account data direct mapping because it comes with a lot of observable behavior changes which lead to expected divergence. However, telling expected and unexpected divergence apart has been problematic, especially as some unexpected divergence was declared to be expected by mistake.

Summary of Changes

All the observable behavior changes as specified in SIMD-0219 are moved into a feature gate called stricter_abi_and_runtime_constraints. The serialization vs mapping is toggled by a separate flag called account_data_direct_mapping. Meaning there are now three code paths:

• stricter_abi_and_runtime_constraints OFF, (account_data_direct_mapping is ignored) in which only the old checks apply, account data is de/serialized and compared
• stricter_abi_and_runtime_constraints ON, but account_data_direct_mapping OFF in which both old and new checks apply, account data is de/serialized
• stricter_abi_and_runtime_constraints ON, and account_data_direct_mapping ON in which only the new checks apply, account data is mapped

Feature Gate Issue: #16

[mergify]

The Firedancer team maintains a line-for-line reimplementation of the
native programs, and until native programs are moved to BPF, those
implementations must exactly match their Agave counterparts.
If this PR represents a change to a native program implementation (not
tests), please include a reviewer from the Firedancer team. And please
keep refactors to a minimum.

[codecov-commenter]

Codecov Report

❌ Patch coverage is 84.45748% with 53 lines in your changes missing coverage. Please review.
✅ Project coverage is 82.8%. Comparing base (1c9366c) to head (fff7be9).
⚠️ Report is 3 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff            @@
##           master    #7113    +/-   ##
========================================
  Coverage    82.8%    82.8%            
========================================
  Files         801      801            
  Lines      363392   363579   +187     
========================================
+ Hits       300960   301119   +159     
- Misses      62432    62460    +28     

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.