Added outputs for the verbose kwarg

[dylan-asmar]

• Added outputs using @printf. The output format mimics the cpp implementation
• Added a test block for verbose=true with simple tests to make sure the header is included
• Updated previous test blocks to set verbose=false
• Added compact entries for LinearAlgebra and Printf in accordance with https://discourse.julialang.org/t/psa-compat-requirements-in-the-general-registry-are-changing/104958
• Updated CI workflow to test the earliest version of Julia listed in compat
• Updated the formatting of runtests.jl to be aligned with https://github.com/JuliaDiff/BlueStyle

I did not include a version bump with this PR, but I would recommend bumping the version if merged.

Closes #1

@WhiffleFish I wasn't 100% sure if I implemented # Beliefs correctly. I am using sum(.!tree.b_pruned) to determine the number of beliefs. If this is correct, then it appears NativeSARSOP is using more beliefs than SARSOP which is slowing it down a bit when you compare it on larger problems like TagPOMDPProblem.

[WhiffleFish]

Thanks so much for this PR, Dylan. I would say that you've implemented # Beliefs correctly. You are correct that NativeSARSOP generally expands more beliefs than SARSOP. This is likely due to #3, where SARSOP has the ability to cut tree traversals short with a better binned belief value estimate.