When the "Mine Heavycoins" box is checked, you are definitely mining.

Fire up your debug console and type getmininginfo.

You will see the entry "hashespersec" : xxxxx, any value other than 0 confirms that you're mining.