bpf: move explored_state() closer to the beginning of verifier.c