Probabilistic results concerning smoothness of the value function and of the free boundary in optimal stopping