Make prints python 3.0 compatible
Clean up AVX definitions

AVX definitions should no longer include the "c4" or "c5" opcode
bytes.