Toward an Automated-Algebra Framework for High Orders in the Virial Expansion of Quantum Matter