Add detailed documentation for vector-matrix multiplication proof strategy in strategy.md. Outline root causes of memory issues, proposed fixes, and long-term improvements for proof compression and aggregation techniques.

Author: mdvillagra