How are they performing on the new programming patterns and how is it measured?

Is it okay to add a lot of checks/invariants inside the code?