cleaning up AKVSolver, ComputeAKV and adding some Ricci/NoRicci results