Refine para_betti a bit and switch to Sage's matrix rank function for now.