What webcyan was trying to say is about the tension that is created between the leading tone and the tonic of any scale......Obviously web plays everything in minor keys or penatonic scales, since the examples he gave you were whole steps between the leading tone and tonic........
Anyway, there could be something to that theory.....but not just for verse into chorus.....According to music theory, the examples he gave do create tension, but they could be used anywhere in the song..........*Note* In a major key they would be half steps and not whole steps....
Ofcourse there is no formula......As for me....I almost always write the verse first...dunno why that is....maybe I'm just a verse kind of guy

.........The way I look at it is that the verse is the meat of the song and if you don't have that then you don't have anything......And like the other person in this thread said....the verses always seem to be leading to something....perhaps a bridge or a chorus....but they always lead somewhere.....For me, I think that the best songs have memorable melodies in the verse, even more so then the chorus.......
I've also noticed that when I repeat the first line of the verse as the last line of the verse (right before a chorus) that it seems to increase the tension, making for a greater impact when the chorus comes in....
Ofcourse, all this shit, is entirely subjective and extremely obscure........I would pay attention to the songs that are in your CD player and see what they are doing....Good luck
- nave