Wide stable neural networks: Sample regularity, functional convergence and Bayesian inverse problems | Synapse