The pre-compiling and caching is really convenient most of the time, but sometimes I make changes to e.g. the board specific code and want the IDE to compile everything again, including all libs, and all core, simply everything.

I suggest to make the 'Verify' and 'Upload' buttons respond with a complete recompile when CTRL or CTRL SHIFT is pressed during clicking.