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

@lloyd - I could use some collaboration time/review with this one.

fixes #3515