Add and/or to the compiler. Normalize each side to 0/1 with i64.const 0 / i64.ne, then use bitwise i64.and / i64.or. Add these to the VM. Agreement tests:

    check_both("1 and 1", 1);
    check_both("1 and 0", 0);
    check_both("0 or 1", 1);
    check_both("5 > 3 and 10 > 7", 1);
    check_both("5 >= 5 and 5 <= 5", 1);