Upper and lower bounds on the computational complexity of ODEs