Always put quotes around bash variables.
This will produce a syntax error when nobench is undefined or even empty string.

if [ -n "$BENCH" && "$BENCH" != "true" ]; then
    echo 'Skipping benchmarking. (BENCH='"$BENCH"')'
fi