Missing TCK validation, potentially illegal implementations

Please verify your implementations using the TCK and you'll find that example implementations are illegal, which makes them less-than-ideal in showing them off in talks.