Additional unit tests for verification and formatting changes.