Computing Forward Reachable Sets for Nonlinear Adaptive Multirotor Controllers