Property based test for K if onestepFunc equals tableau (with a slight type error)

10 jobs for !9 with onestep
merge request