HeaderVerificationState: incorrect target calculation, panics on errors, and missing reorg support

HeaderVerificationState: incorrect target calculation, panics on errors, and missing reorg support: a task in LegoFlow-SWE (Harbor dataset). What the agent is asked, how it is graded, what it runs in, and its files.