computations with Witt vectors, Frobenius lifts, and quasi-F-splittings