IDE "verify" button and "upload" button

Well, I could be wrong about non-compilation - but something certainly goes faster.