Added code contracts and changed build output folder.