Merge "Add post-update program verification to ApfIntegrationTest" into main