as far as your suggestions go:
i use a vertex 4 - 128gb ... good ssd, works like hell. can only recommend.
a friend of mine got his hands on a Samsung 840 250gb ... also a very very very nice card.
I'd recommend those two
which i cannot recommend are:
Adata (don't know the model name atm) ... broke down after a couple of weeks use.
OCZ Agility 3 - a friend has this one and it's constantly crashing, since he's having his system on the drive this results in about 3-4 bluescreens a day ... very annoying.