Add verification property to Model3.

Signed-off-by: acappiello <acappiel@andrew.cmu.edu>