A Space-Aware Bytecode Verifier for Java Cards