Revise parameter n of projection methods

[mforets]

See here.

[schillic]

What does "revise" mean? I only see the options to remove it or to keep it 😉

[mforets]

😄 Revise in the sense of checking the claim that dim(..) takes microseconds or less for "simple" sets, and only a dozen of microseconds for "complex" lazy sets. If it is the case then i would advocate for removing the parameter n altogether in projection methods, because the dominant part would certainly be the calls to overapproximate.

[schillic]

I think the reason why we have this parameter is that project is currently only called from decompose in a loop. If we decide to make project public, then of course there can be misuses.