Have you worked on PHP 7? Should I upgrade my production server to PHP 7? How stable and effective is it?