Eradicating X-bugs and Achieving Higher Design Quality Using Static X-propagation Sign-off