Refactor pruner v5: streamline from 16 to 6 core methods

Rename OPTIMALITY_INDEX to MAGNITUDE_INDEX, add CIRCUITS_TODO, add architecture search

Add optimality index and adaptive model wrapper

Add flexible safetensors file loading

Remove Coq export functionality from pruner

Add magnitude-ordered exhaustive search with GPU-vectorized evaluation

Add exhaustive search methods for provable optimality

Update prune.py

Merge HuggingFace main branch

Rewrite pruning framework with full GPU vectorization

Initial commit: threshold circuit pruning framework

initial commit