Runtime access to EOF header

[chfast]

• execution start:
  • the offset of the first code section
• CALLF/JUMPF
  • max_stack_height (type section)
  • inputs (type section)
  • target code section offset

[gumb0]

CALLF/JUMPF also require number of target inputs for stack overflow check, because max_stack_height definition includes function inputs, and we need to subtract them not to double count.

[chfast]

CALLF/JUMPF also require number of target inputs for stack overflow check, because max_stack_height definition includes function inputs, and we need to subtract them not to double count.

This specifically can be fixed by doing the subtraction in the header.

[chfast]

Closed in favor of #134.