Added a 'stainless' testing framework as dependency.
Rewritten tests to use a 'stainless' testing framework.