Add new ver4j module for runtime verifications.