Symbolic-Load Guided KLEE

Extended KLEE with symbolic-load instrumentation, a new global statistic, and a custom SymLoadSearcher scheduling heuristic. Built a reproducible symbolic-execution workflow with containerized runs, telemetry, and crash reproduction for evaluating coverage and memory tradeoffs.