[OPTIMIZATION] Revert HeadSpine

[SeungheonOh]

Changes are by @effectfully

This optimization achieves same optimization we have on #7287 but in a different approach, maintaining more general FrameAwaitFunValue

[SeungheonOh]

I won't run benchmark, since the machine seems to be finicky at the moment. instead, below is result ran on my local machine:

Comparing benchmark results of 'casing' on 'dd1328d3a' (base) and '78e6caa9a' (PR) <- revertedHeadSpine

Results table

Script	dd1328d	78e6caa	Change
casing/bool/2000	26.48 μs	26.70 μs	+0.8%
casing/bool/4000	52.37 μs	53.41 μs	+2.0%
casing/bool/6000	75.48 μs	76.07 μs	+0.8%
casing/bool/8000	104.1 μs	105.0 μs	+0.9%
casing/bool/10000	131.4 μs	132.0 μs	+0.5%
casing/bool/12000	157.9 μs	156.9 μs	-0.6%
casing/bool	25.65 μs	25.36 μs	-1.1%
casing/bool	50.68 μs	50.33 μs	-0.7%
casing/bool	75.66 μs	75.33 μs	-0.4%
casing/bool	100.6 μs	100.5 μs	-0.1%
casing/bool	122.4 μs	122.2 μs	-0.2%
casing/bool	147.3 μs	148.6 μs	+0.9%
casing/integer/2000	34.63 μs	34.36 μs	-0.8%
casing/integer/4000	62.74 μs	63.40 μs	+1.1%
casing/integer/6000	93.89 μs	95.61 μs	+1.8%
casing/integer/8000	127.5 μs	126.6 μs	-0.7%
casing/integer/10000	173.0 μs	175.0 μs	+1.2%
casing/integer/12000	207.9 μs	190.7 μs	-8.3%
casing/list/2000	95.98 μs	85.02 μs	-11.4%
casing/list/4000	217.1 μs	195.3 μs	-10.0%
casing/list/6000	361.8 μs	321.2 μs	-11.2%
casing/list/8000	566.0 μs	493.3 μs	-12.8%
casing/list/10000	811.3 μs	703.5 μs	-13.3%
casing/list/12000	1.085 ms	961.2 μs	-11.4%
casing/list	96.41 μs	83.88 μs	-13.0%
casing/list	219.8 μs	194.4 μs	-11.6%
casing/list	368.4 μs	328.2 μs	-10.9%
casing/list	554.7 μs	490.7 μs	-11.5%
casing/list	781.7 μs	697.2 μs	-10.8%
casing/list	1.055 ms	942.9 μs	-10.6%

	dd1328d	78e6caa	Change
TOTAL	7.983 ms	7.255 ms	-9.1%

[github-actions]

PR Preview Action v1.6.2
🚀 View preview at https://IntersectMBO.github.io/plutus/pr-preview/pr-7288/
Built to branch gh-pages at 2025-08-21 23:18 UTC. Preview will be ready when the GitHub Pages deployment is complete.