Text this: $rm P$ has polynomial-time finite-state verifiers