Added: assertion framework and test runner