feat: local-constant index (tentatively)

resolves: https://github.com/xr0-org/xr0/issues/59

feat: detect out of range values in caller and return value verification

resolves: https://github.com/xr0-org/xr0/issues/58

feat: #define XR0 by default for conditional use

chore: add -pedantic

chore: fix configure comments, separate awk file

chore: refactor scenario to path and segment

chore: refactor Makefile

imposes Go-package-like structure through a generation script for the
sources and their includes

fix: valgrind argument error

chore: change path to verifier

split verifier into two concepts: mux, which handles the splitting and
scenario, which models progression through the program

chore: debugger test

chore: refactor stack frame, exec_mode, frame_kind

stack now interacts abstractly with the frame,
frame kind is localised in stack, exec mode in program

chore: fix program build line to hide details

fix: POSIX ignore (hopefully)

chore: generalise undecideable cond error to path instruction

chore: simlpify and unify path progressors

chore: add tests to ignore to wmw-www file

feat: wasm

fix: unique rconsts for different args as default

feat: split state on evaluation of relational operators

resolves: https://github.com/xr0-org/xr0/issues/57

feat: converge decide into eval