Added maximally implicit assertions to all files.