FreeRTOS: reduce heap size from 96k to 64k
FreeRTOS: reduce heap size from 96k to 64k

* we currently use about 42k since changing tower channel
  implementations

GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32