Add split and slice

1. also implement test for them
2. move verifiers out of test-utility.lisp