Adjust testing to use new prove api
Fix running CI on SBCL 1.0.57
Remove a compiler warning in test-spec
version 0.12.2