Extra checking for program creation

We weren't checking that programs are actually being created successfully. 
Now I've **never** heard of this actually failing in practice but it's the only thing that I can think to check for #3251 which seems to be failing.

Does anyone have any other suggestions of things to test?