Move test case methods into a trait

This PR moves the functionality of the TestCase into a trait. This allows you to include it in any `PHPUnit_Framework_TestCase` instance without having to extend `ProphecyTestCase`.

M