Primary version is done

Code contracts are added in the marketSession and AccountHandler
classes;
Need to be tested throughly.