Added ManualTests project, basic runtime Contracts and license notices..
Renamed file.
Changed method access level.
Added support and tests for void methods and methods with arguments in Contracts.
Added dependency to EnumerableExtensions.