To answer a few points. K T Alexander, what you say about most students in the US packing a GDC doesn't come as any surprise. I came across them being used with students in New Zealand who were taking the equivalent of GCSE, never mind A-level.
The comments about students being lazy or not needing them are valid, BUT since they are allowed in exams, and DO confer an advantage it's silly not to use one. They shouldn't be a substitute for understanding, but when you are in an exam and after that A grade anything that you are allowed to do goes. If using a graph or polyroots helps you get the answer quicker, or make sure that you have got it right, then go for it - there are no marks for heroic effort.
Chlorophile, I have taught students to use the Casio that you mentioned, and the TI-83 and TI-84, so I can say beyond a shadow of a doubt that the TI-Nspire is much better. Yes it costs more, but you get what you pay for. Isn't it worth the extra money if it might get you a few more marks in your exams? The CX is definitely allowed. However, for A-level exams, it is your responsibility to clear the memory before entering the exam. For I.B. exams this is the responsibility of the invigilator.
Hobbit, even if Edexcel is trying to negate the advantage of using a GDC they are kidding themselves. They can only reduce it a bit without radically changing their exams. For example, are they going to get rid of graph sketching? Are they going to dock marks from students who look up binomial values with p > 0.5, rather than buggering around by turning the question into one about failures? And, if nothing else, even if lots of working, or an exact solution, must be given a GDC can often tell you very quickly whether you have got the right answer.