Do you have to choose here? I have the last three you mentioned, and any of them could be really good (or none, I guess) depending on the voice -- will you have a chance to try them out? If I had to real quick choose between the KSM27 and
the AT4040 in your situation, I guess I'd go with the 4040, but that may just be because I've had more experience with it. I don't think either the KSM27 or
the AT4040 is going to demand a full 48v of phantom power from the Edirol, but if it's seriously underpowered, my suspicion is that the KSM27 will handle it better -- I'm speculating - this is just from looking at the circuitry, but not from testing.
If the singer is aggressive, then the SM7b is probably best (and, as noted, could be the best in any event). You may feel the need to apply more preamp gain with this one than with the others, and if they preamp is noisy, then your track could get noisy too, but you can also experiment with a lower preamp gain and a subsequent boost using digital gain. This may not work for live monitoring while you're tracking, depending on your setup, not sure (and to be fair, if there's noise in the track, boosting with digital gain will increase it, too, and that increase may be equivalent to what you would have got had you just turned up the preamp in the first place). If the preamp is clean, then you're good -- if it doesn't have enough gain for comfortable live monitoring and you can get by with that issue, you should be able to add gain digitally later.
I have zero experience with the first two.