feat(program+helios): Make check explicit, Helios 0.8.5, Refactor (#33)

* feat: add more explicit checking of the finality update application

* new elf

* Fix

* fmt

* fix: program

* elf

* update

* add

Author: ratankaliani

.github/workflows/foundry.yaml

@@ -26,8 +26,6 @@ jobs:
 
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1
-        with:
-          version: nightly
 
       - name: Show Forge version
         working-directory: contracts/