I've got the 256gb variant of the Samsung 850 Pro and running a few tests would be quite enlightening. Improving compile time may also depend on processor so... it depends on your options. Likewise with IDE & Git performance. That said, I upgraded from an 840 (which I can't find the benchmarks for, its on my laptop at the moment) and it was a significant improvement. Enough yammering.
BIOS time (boot time) is 15 seconds according to Windows. My system is a bit of a mess and I could probably remove things to speed it up more :)
This is a drive I've been using as a boot drive. Optimised for performance in Samsung Disk Magician, though kept fairly empty, since bulk storage is another drive.
HD Tune benchmarks
I believe these numbers exceed your requirements.
Crystal Disk Mark Benchmarks with what I believe is the default settings.
Few other nice things about this? 10 year warranty, and its MLC rather than TLC, which means better endurance and speed.