fix: enfore type & count matching between ix handler and #instruction[(..)] args

[Otter-0x4ka5h]

this pr enforces and fixes types on args.
Example: 1

// fail
pub fn abcd(
    ctx: Context<ABCD>,
    data: u64,
) -> Result<()> {
    Ok(())
}

#[derive(Accounts)]
#[instruction(data: u8)]
pub struct ABCD<'info> {
    pub user: Signer<'info>,
}

Example: 2

// pass
type myType = u64;
pub fn abcd(
    ctx: Context<ABCD>,
    data: u64,
) -> Result<()> {
    Ok(())
}

#[derive(Accounts)]
#[instruction(data: myType)]
pub struct ABCD<'info> {
    pub user: Signer<'info>,
}

Example: 3

// fail
pub fn abcd(
    ctx: Context<ABCD>,
    data: u64,
) -> Result<()> {
    Ok(())
}

#[derive(Accounts)]
#[instruction(data: u64, ehe: u64)]
pub struct ABCD<'info> {
    pub user: Signer<'info>,
}

Example: 4

// pass
pub fn abcd(
    ctx: Context<ABCD>,
    data: u64,
) -> Result<()> {
    Ok(())
}

#[derive(Accounts)]
#[instruction(data: u64)]
pub struct ABCD<'info> {
    pub user: Signer<'info>,
}

Closes #3997
Closes #3897

[vercel]

Someone is attempting to deploy a commit to the Solana Foundation Team on Vercel.

A member of the Team first needs to authorize it.

[jamie-osec]

Also closes #453

[jamie-osec]

LGTM now