Enabled static contract analyzing for core.
Added test and contracts for core interfaces.

Added random team builder class.
Other little changes.