Moved some checks to contracts
Added Travis CI config