Do not generate a silent assertion for an address in a transition state.

fixes #3515
Add Selenium tests to check for transition states.