Added missing assertions to the Card spec

Just a small improvement.