ADS-B backlog and lack of aircraft availability could slow transactions over the next year, Mente's Brian Proctor says.