Updated local_alloc_elemwise to remove all allocs when possible and to a...

...dd assert only when we cannot determine whether the shapes will be correct.

Deprecated experimental.local_alloc_elemwise and enabled local_alloc_elemwise by default.

This is just the start. Next to come are the associated tests.
Doc that now this is enabled by default. To disabled is, use the flag optimizer_excluding=...