withState
state
forkyState
LightClientUpdate
Tests based on scenarios generated from the consensus spec.