Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution