Added the option --complete-check to automatically create and verify the program

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>