Run AESL tests