Adaptative (local) `abstol` to validate integration

[coveralls]

Pull Request Test Coverage Report for Build 825439378

Warning: This coverage report may be inaccurate.

This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

• For more information on this, see Tracking coverage changes with pull request builds.
• To avoid this issue with future PRs, see these Recommended CI Configurations.
• For a quick fix, rebase this PR at GitHub. Your next report should be accurate.

Details

• 144 of 157 (91.72%) changed or added relevant lines in 1 file are covered.
• 60 unchanged lines in 19 files lost coverage.
• Overall coverage increased (+4.4%) to 68.693%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
src/validatedODEs.jl	144	157	91.72%
<!--	Total:	144	157	91.72%	-->

Files with Coverage Reduction	New Missed Lines	%
src/bounds.jl	1	93.37%
src/evaluate.jl	1	86.96%
src/show.jl	1	81.25%
src/Taylor1/draw.jl	1	0.0%
src/auxiliary.jl	2	55.36%
src/recipe.jl	2	0.0%
src/rpa_functions.jl	2	84.17%
src/Taylor1/bound.jl	2	0.0%
src/TaylorN/integrate.jl	2	0.0%
src/TaylorN/TaylorN.jl	2	0.0%
<!--	Total:	60		-->

Totals
Change from base Build 821885802:	4.4%
Covered Lines:	904
Relevant Lines:	1316

---

💛 - Coveralls

[lbenet]

This PR aims to shrink the time step in order to validate the integration. It mimics what's currently done in ReachabilityAnalysis.jl.

cc @mforets

[mforets]

Nice! I'll try this asap..

[lbenet]

By some reason, some tests (in macos) do not pass, but after a restart of the tests, they do...

[lbenet]

@mforets @UzielLinares The last two commits implement ideas we discussed (offline).

[lbenet]

Tests pass. Merging!