Updated the prove script to use the suite file
Added a post initializer hook method
Added an after_initialize hook method that can be used for doing post-variable initialization
Renamed the proof for the after_initialize method