Merge "shodan: Ensure the verilator target only builds for shodan"