Moved assertion code into its own package.