Moved dbc contract validator to main source code