Update petsc formula

Update to version 3.4.3 from upstream, and add option to build with debugging checks enabled.