Copy certificate and handle errors correctly in dd_SRedunant in generator code path.

[mcmtroffaes]

I noticed that dd_SRedundant sometimes does not return a certificate. This patch fixes that. It also ensures that errors in the linear programming solver are appropriately handled (they were ignored in this code path).