verible-verilog-format: apply it on core directory

Created by: ASintzoff

using verible-v0.0-3430-g060bde0f/bin/verible-verilog-format with default configuration