docs(frontend): showcase overflow detection

[youben11]

No description provided.

[youben11]

Updated based on #846

[BourgerieQuentin]

@yuxizama can you make a pass

[yuxizama]

Some suggestions

[yuxizama]

Suggested change

	During development, the speed of homomorphic execution can be a blocker for fast prototyping. You could call the function you're trying to compile directly, of course, but it won't be exactly the same as FHE execution, which has a certain probability of error (see [Exactness](../core-features/table_lookups.md#table-lookup-exactness)).
	This document explains how to use the simulation feature to speedup prototyping and detect overflows during Fully Homomorphic Encryption (FHE) computation.
	Simulation allows to mimic the behavior of FHE execution without actually performing the encrypted computations.

[yuxizama]

This original sentence is not very clear to me:
" You could call the function you're trying to compile directly, of course, but it won't be exactly the same as FHE execution, which has a certain probability of error "

• Is this sentence describing the simulation feature? or the issue to be addressed by the simulation feature?
• What does "it" refers to - the simulated function?
• What doesn "which" refers to - the FHE function? of the simulation process?

I would suggest rewriting this part with better clarity.
For example,

Simulations allow to.... (what does it do) It is helpful to .....(why is it useful)

[yuxizama]

Suggested change

	There are some operations which are not supported in simulation yet. They will result in compilation failures. You can revert to simulation using graph execution using `circuit.graph(...)` instead of `circuit.simulate(...)`, which won't simulate FHE, but it will evaluate the computation graph, which is like simulating the operations without any errors due to FHE.
	Some operations are not yet supported in simulation and will result in compilation failures. In such cases, you can use graph execution with `circuit.graph(...)` instead of `circuit.simulate(...)`. This will evaluate the computation graph without simulating FHE errors.