Added asserts module

[Leonard-Pat]

• created an asserts module and added all asserts (apart from no self call)
• included some test function in the argent account contract and testing file