Modeling Virus Self-Assembly Pathways: Avoiding Dynamics Using Geometric Constraint Decomposition