Address review feedback in PPCG solver

Wrap all single-statement for/if/while bodies in braces, replace
remaining magic numbers with named constants, use functional casts for
literal type conversions, and rename Gram-matrix operands to mat_a/mat_b.

Author: cheerly-pku