Что делает этот код?

[WildField]

Возвращает значение true если val & 1 равно 1 и возвращает false, если не равно 1. Например

bool a = (5 == 10); //Эквивалентно bool a = false;

Имхо эта хитрая функция проверяет является ли остаток от деления на 2 единицей. И "== 1" лишнее, в данном контексте это абсолютно аналогично a = (val & 1); Ибо тут может быть значение либо 1, либо 0.