Working on adding the assertion functions to the teal_modules module.