By Vivado Lab do you mean Vivado’s hardware manager? If that’s the case, see No Devices Detected with Vivado Hardware Manager - #10 by johngregory
By default, you need to use the Alchitry Loader (part of Alchitry Labs) to load .bin files onto the board. See Alchitry Labs