You have very specialist apps there... so 'real world' is still different for most other people on this forum...
99% of people will not be able to tell the difference between the M4, 830 or 840 Pro. Period. I can't tell the difference between a X25-M 160GB, a 320 300GB and my 830 256GB beyond benchmarks...
I went for the 830 because compare to the M4 simply because they were roughly the same price but anandtechs benches (http://www.anandtech.com/bench/Product/355?vs=532) seemed to be on the whole slightly better.
Recommending people to spend ~£40 more on a device for no noticeable benefit is madness.
840 256GB = £144
830 256GB = £149
M4 256GB = £150
840 Pro 256GB = £191
exactly
intel
Samsung
Crucial
just go for which ever is the cheapest