This is all obsolete or covered by verify-codegen now.
Signed-off-by: Davanum Srinivas <davanum@gmail.com>