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

@lloyd, @ozten, @seanmonstar - need discussion and review.