Fixed OfdmDemod bug where numRxSymbols wasn't being correctly calculated, now outputting header symbol separately to data symbols for debugging.